\def\sep{  ~\mbox{\large{$\mid$}}~}



%% Configurations and networks

\newcommand{\tuple}[4]{\langle #2; #3; #4 \rangle_{#1}}
\newcommand{\tuplem}[3]{\langle #2; #3 \rangle_{#1}}
\newcommand{\state}[3]{#1 \lceil #2,#3 \rceil}

\newcommand{\local}[2]{[#2]_{#1}}

\newcommand{\manager}{\mathcal{H}}

\newcommand{\queue}[2]{\mathsf{enqueue}(#1,#2)}
%\newcommand{\act}[1]{\mathsf{act}(#1)}
\newcommand{\msg}{msg}
\newcommand{\mstop}{\mathsf{stop}}
\newcommand{\interrupt}{\mathsf{interrupt}}
\newcommand{\casesf}[3]{ \mathsf{case} ~ #1 ~ \mathsf{of}~ #2: ~#3}



%% Sessions
\newcommand{\accept}[2]{#1(#2)}
\newcommand{\raccept}[2]{!\,#1(#2)}
\newcommand{\request}[2]{#1 \langle #2 \rangle}


%%Semantics
\newcommand{\addchild}[2]{\oplus |#1, #2| }
\newcommand{\remove}[1]{\ominus(#1) }
\newcommand{\node}[3]{#1(#2, #3)}

